The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective
نویسندگان
چکیده
Formal methods may be at the crossroads of acceptance by a wider industrial community. In order for the techniques to become widely used, the gap between theorists and practitioners must be bridged e ectively. In particular, safety-critical systems o er an application area where formal methods may be engaged usefully to the bene t of all. This paper discusses some of the issues concerned with the general acceptance of formal methods and concludes with a summary of the current position and how the formal methods community could proceed to improve matters in the future. \To err is human but to really foul things up requires a computer." Farmers' Almanac for 1978 (1977) `Capsules of Wisdom'
منابع مشابه
The Industrial Take - up of Formal Methods inSafety - Critical and Other Areas : A
Formal methods may be at the crossroads of acceptance by a wider industrial community. In order for the techniques to become widely used, the gap between theorists and practitioners must be bridged eeectively. In particular, safety-critical systems ooer an application area where formal methods may be engaged usefully to the beneet of all. This paper discusses some of the issues concerned with t...
متن کاملMeasuring the Impact of Urban Infrastructure on each other in terms of Passive Defense Perspective using Fuzzy DEMATEL, Case Study: Guilan Province
Research objectives: In construction of main urban infrastructures, observing the principles of passive defense in order to maintain safety and reduce vulnerabilities in critical situations is very important. In this study, critical infrastructures were identified and ranked. Finally, the most effective and impressible infrastructures for successful management in non-operating defense were iden...
متن کاملEvaluating Critical Safety and Health Risks by Job Safety Analysis and Analytic Hierarchy Process in Industrial Printing
Background: Critical risks are one of the most important problems in industries, which have high costs for the industry. This study aimed to assess critical safety and health risks through job safety analysis and analytic hierarchy process in industrial printing. Materials and Methods: The present study was conducted as a descriptive and analytical in one of the printing industries in Iran, in...
متن کاملLet’s take Laser safety seriously
Nowadays laser is extensively used in various industrial, communicative, medical, and other fields. Using laser in medicine has enabled physicians to perform the most accurate and finest operations within few minutes. Non-observance of safety points during laser performance could be seriously harmful for the medical staff and the patient. Therefore, in order to prevent the possible damage of th...
متن کاملAutomatic road crack detection and classification using image processing techniques, machine learning and integrated models in urban areas: A novel image binarization technique
The quality of the road pavement has always been one of the major concerns for governments around the world. Cracks in the asphalt are one of the most common road tensions that generally threaten the safety of roads and highways. In recent years, automated inspection methods such as image and video processing have been considered due to the high cost and error of manual metho...
متن کامل